a(1).
a(X) :-@@@. 
